HIL: designing an exokernel for the data center

We propose a new Exokernel-like layer to allow mutually untrusting physically deployed services to efficiently share the resources of a data center. We believe that such a layer offers not only efficiency gains, but may also enable new economic models, new applications, and new security-sensitive uses. A prototype (currently in active use) demonstrates that the proposed layer is viable, and can support a variety of existing provisioning tools and use cases.Partial support for this work was provided by the MassTech Collaborative Research Matching Grant Program, National Science Foundation awards 1347525 and 1149232 as well as the several commercial partners of the Massachusetts Open Cloud who may be found at http://www.massopencloud.or

Virtualizing the Stampede2 Supercomputer with Applications to HPC in the Cloud

Methods developed at the Texas Advanced Computing Center (TACC) are described and demonstrated for automating the construction of an elastic, virtual cluster emulating the Stampede2 high performance computing (HPC) system. The cluster can be built and/or scaled in a matter of minutes on the Jetstream self-service cloud system and shares many properties of the original Stampede2, including: i) common identity management, ii) access to the same file systems, iii) equivalent software application stack and module system, iv) similar job scheduling interface via Slurm. We measure time-to-solution for a number of common scientific applications on our virtual cluster against equivalent runs on Stampede2 and develop an application profile where performance is similar or otherwise acceptable. For such applications, the virtual cluster provides an effective form of "cloud bursting" with the potential to significantly improve overall turnaround time, particularly when Stampede2 is experiencing long queue wait times. In addition, the virtual cluster can be used for test and debug without directly impacting Stampede2. We conclude with a discussion of how science gateways can leverage the TACC Jobs API web service to incorporate this cloud bursting technique transparently to the end user.Comment: 6 pages, 0 figures, PEARC '18: Practice and Experience in Advanced Research Computing, July 22--26, 2018, Pittsburgh, PA, US

Distributed Parametric and Statistical Model Checking

Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture by introducing a series of algorithms that scale almost linearly with respect to the number of slave computers. Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies.Comment: In Proceedings PDMC 2011, arXiv:1111.006

Altered Ultrasonic Vocalization and Impaired Learning and Memory in Angelman Syndrome Mouse Model with a Large Maternal Deletion from Ube3a to Gabrb3

Angelman syndrome (AS) is a neurobehavioral disorder associated with mental retardation, absence of language development, characteristic electroencephalography (EEG) abnormalities and epilepsy, happy disposition, movement or balance disorders, and autistic behaviors. The molecular defects underlying AS are heterogeneous, including large maternal deletions of chromosome 15q11–q13 (70%), paternal uniparental disomy (UPD) of chromosome 15 (5%), imprinting mutations (rare), and mutations in the E6-AP ubiquitin ligase gene UBE3A (15%). Although patients with UBE3A mutations have a wide spectrum of neurological phenotypes, their features are usually milder than AS patients with deletions of 15q11–q13. Using a chromosomal engineering strategy, we generated mutant mice with a 1.6-Mb chromosomal deletion from Ube3a to Gabrb3, which inactivated the Ube3a and Gabrb3 genes and deleted the Atp10a gene. Homozygous deletion mutant mice died in the perinatal period due to a cleft palate resulting from the null mutation in Gabrb3 gene. Mice with a maternal deletion (m−/p+) were viable and did not have any obvious developmental defects. Expression analysis of the maternal and paternal deletion mice confirmed that the Ube3a gene is maternally expressed in brain, and showed that the Atp10a and Gabrb3 genes are biallelically expressed in all brain sub-regions studied. Maternal (m−/p+), but not paternal (m+/p−), deletion mice had increased spontaneous seizure activity and abnormal EEG. Extensive behavioral analyses revealed significant impairment in motor function, learning and memory tasks, and anxiety-related measures assayed in the light-dark box in maternal deletion but not paternal deletion mice. Ultrasonic vocalization (USV) recording in newborns revealed that maternal deletion pups emitted significantly more USVs than wild-type littermates. The increased USV in maternal deletion mice suggests abnormal signaling behavior between mothers and pups that may reflect abnormal communication behaviors in human AS patients. Thus, mutant mice with a maternal deletion from Ube3a to Gabrb3 provide an AS mouse model that is molecularly more similar to the contiguous gene deletion form of AS in humans than mice with Ube3a mutation alone. These mice will be valuable for future comparative studies to mice with maternal deficiency of Ube3a alone

The use of mesenchymal stem cells for cartilage repair and regeneration: a systematic review.

BACKGROUND: The management of articular cartilage defects presents many clinical challenges due to its avascular, aneural and alymphatic nature. Bone marrow stimulation techniques, such as microfracture, are the most frequently used method in clinical practice however the resulting mixed fibrocartilage tissue which is inferior to native hyaline cartilage. Other methods have shown promise but are far from perfect. There is an unmet need and growing interest in regenerative medicine and tissue engineering to improve the outcome for patients requiring cartilage repair. Many published reviews on cartilage repair only list human clinical trials, underestimating the wealth of basic sciences and animal studies that are precursors to future research. We therefore set out to perform a systematic review of the literature to assess the translation of stem cell therapy to explore what research had been carried out at each of the stages of translation from bench-top (in vitro), animal (pre-clinical) and human studies (clinical) and assemble an evidence-based cascade for the responsible introduction of stem cell therapy for cartilage defects. This review was conducted in accordance to PRISMA guidelines using CINHAL, MEDLINE, EMBASE, Scopus and Web of Knowledge databases from 1st January 1900 to 30th June 2015. In total, there were 2880 studies identified of which 252 studies were included for analysis (100 articles for in vitro studies, 111 studies for animal studies; and 31 studies for human studies). There was a huge variance in cell source in pre-clinical studies both of terms of animal used, location of harvest (fat, marrow, blood or synovium) and allogeneicity. The use of scaffolds, growth factors, number of cell passages and number of cells used was hugely heterogeneous. SHORT CONCLUSIONS: This review offers a comprehensive assessment of the evidence behind the translation of basic science to the clinical practice of cartilage repair. It has revealed a lack of connectivity between the in vitro, pre-clinical and human data and a patchwork quilt of synergistic evidence. Drivers for progress in this space are largely driven by patient demand, surgeon inquisition and a regulatory framework that is learning at the same pace as new developments take place

Magnetic Fields toward Ophiuchus-B Derived from SCUBA-2 Polarization Measurements

We present the results of dust emission polarization measurements of Ophiuchus-B (Oph-B) carried out using the Submillimetre Common-User Bolometer Array 2 (SCUBA-2) camera with its associated polarimeter (POL-2) on the James Clerk Maxwell Telescope in Hawaii. This work is part of the B-fields in Star-forming Region Observations survey initiated to understand the role of magnetic fields in star formation for nearby star-forming molecular clouds. We present a first look at the geometry and strength of magnetic fields in Oph-B. The field geometry is traced over ~0.2 pc, with clear detection of both of the sub-clumps of Oph-B. The field pattern appears significantly disordered in sub-clump Oph-B1. The field geometry in Oph-B2 is more ordered, with a tendency to be along the major axis of the clump, parallel to the filamentary structure within which it lies. The degree of polarization decreases systematically toward the dense core material in the two sub-clumps. The field lines in the lower density material along the periphery are smoothly joined to the large-scale magnetic fields probed by NIR polarization observations. We estimated a magnetic field strength of 630 ± 410 μG in the Oph-B2 sub-clump using a Davis–Chandrasekhar–Fermi analysis. With this magnetic field strength, we find a mass-to-flux ratio λ = 1.6 ± 1.1, which suggests that the Oph-B2 clump is slightly magnetically supercritical

Cortical thickness and resting-state cardiac function across the lifespan: a cross-sectional pooled mega analysis

Understanding the association between autonomic nervous system [ANS] function and brain morphology across the lifespan provides important insights into neurovisceral mechanisms underlying health and disease. Resting state ANS activity, indexed by measures of heart rate [HR] and its variability [HRV] has been associated with brain morphology, particularly cortical thickness [CT]. While findings have been mixed regarding the anatomical distribution and direction of the associations, these inconsistencies may be due to sex and age differences in HR/HRV and CT. Previous studies have been limited by small sample sizes, which impede the assessment of sex differences and aging effects on the association between ANS function and CT. To overcome these limitations, 20 groups worldwide contributed data collected under similar protocols of CT assessment and HR/HRV recording to be pooled in a mega-analysis (N = 1,218 (50.5% female), mean age 36.7 years (range: 12-87)). Findings suggest a decline in HRV as well as CT with increasing age. CT, particularly in the orbitofrontal cortex, explained additional variance in HRV, beyond the effects of aging. This pattern of results may suggest that the decline in HRV with increasing age is related to a decline in orbitofrontal CT. These effects were independent of sex and specific to HRV; with no significant association between CT and HR. Greater CT across the adult lifespan may be vital for the maintenance of healthy cardiac regulation via the ANS – or greater cardiac vagal activity as indirectly reflected in HRV may slow brain atrophy. Findings reveal an important association between cortical thickness and cardiac parasympathetic activity with implications for healthy aging and longevity that should be studied further in longitudinal research

25th annual computational neuroscience meeting: CNS-2016

The same neuron may play different functional roles in the neural circuits to which it belongs. For example, neurons in the Tritonia pedal ganglia may participate in variable phases of the swim motor rhythms [1]. While such neuronal functional variability is likely to play a major role the delivery of the functionality of neural systems, it is difficult to study it in most nervous systems. We work on the pyloric rhythm network of the crustacean stomatogastric ganglion (STG) [2]. Typically network models of the STG treat neurons of the same functional type as a single model neuron (e.g. PD neurons), assuming the same conductance parameters for these neurons and implying their synchronous firing [3, 4]. However, simultaneous recording of PD neurons shows differences between the timings of spikes of these neurons. This may indicate functional variability of these neurons. Here we modelled separately the two PD neurons of the STG in a multi-neuron model of the pyloric network. Our neuron models comply with known correlations between conductance parameters of ionic currents. Our results reproduce the experimental finding of increasing spike time distance between spikes originating from the two model PD neurons during their synchronised burst phase. The PD neuron with the larger calcium conductance generates its spikes before the other PD neuron. Larger potassium conductance values in the follower neuron imply longer delays between spikes, see Fig. 17.Neuromodulators change the conductance parameters of neurons and maintain the ratios of these parameters [5]. Our results show that such changes may shift the individual contribution of two PD neurons to the PD-phase of the pyloric rhythm altering their functionality within this rhythm. Our work paves the way towards an accessible experimental and computational framework for the analysis of the mechanisms and impact of functional variability of neurons within the neural circuits to which they belong